Nuprl Definition : p-union
11,40
postcript
pdf
p-union(
A
;
B
)(
p
) == if (
A
(
p
) =
1) then 1 else
B
(
p
) fi
latex
Definitions
x
.
A
(
x
)
,
if
b
then
t
else
f
fi
,
(
i
=
j
)
,
#$n
,
f
(
a
)
FDL editor aliases
p-union
origin
1) then 1 else B(p) fi 1) then 1 else B(p) fi 
x.A(x) j)